package edu.pku.sei.autounit.reflect.java;

import edu.pku.sei.autounit.reflect.Type;
import edu.pku.sei.autounit.reflect.TypeParameter;

public class JavaTypeParameter implements TypeParameter{
	private Type []bounds;
	private Type context;
	private String name;

	public JavaTypeParameter(String name){
		this.name = name;
		this.bounds = new Type[0];
	}
	
	
	public void setBounds(Type []bounds){
		this.bounds = bounds;
	}
	
	
	public void setContext(Type type){
		context = type;
	}

	
	public Type[] getBounds() {
		return bounds;
	}

	
	public Type getContext() {
		return context;
	}
	
	
	public String getName(){
		return name;
	}
}
